-
1 the theorem is proved
Математика: теорема доказана -
2 the theorem was first proved by
Математика: теорема была впервые доказанаУниверсальный англо-русский словарь > the theorem was first proved by
-
3 He intended to establish the general theorem but proved only its first part
Математика: но довольствовалсяУниверсальный англо-русский словарь > He intended to establish the general theorem but proved only its first part
-
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]
Математика: центральное орудиеУниверсальный англо-русский словарь > the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… … Universalium
Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… … Wikipedia
Bruck–Chowla–Ryser theorem — The Bruck–Chowla–Ryser theorem is a result on the combinatorics of block designs. It states that if a ( v , b , r , k , λ) design exists with v = b (a symmetric design), then: : k − λ is a squarewhen v is even, and the diophantine equation: x 2 − … Wikipedia
Crystallographic restriction theorem — The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2 fold, 3 fold, 4 fold, and 6 fold. However, quasicrystals can occur with other symmetries … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Splitting theorem — The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature :{ m Ric} (M) ge 0 has a straight line, i.e., a geodesic gamma; such that :d(gamma(u),gamma(v))=|u v| for … Wikipedia
The Doctrine of Chances — For the rule of evidence in law, see doctrine of chances. Front page of the 1st edition of the “Doctrine of Chances”. The Doctrine of Chances was the first textbook on probability theory, written by 18th century French mathematician Abraham de… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
Borel determinacy theorem — In descriptive set theory, the Borel determinacy theorem shows that any Gale Stewart game whose winning set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A.… … Wikipedia